在讨论 AGI 或者通用机器人定义时，人们往往会自然联想到一些直观的衡量标准，比如 AI 能否解出高考题、在国际数学奥林匹克（IMO，International Mathematical Olympiad）上获得金牌，或者机器人能否胜任家务。
我们是由清华大学、北京大学、东京大学、南洋理工大学等海内外名校毕业生，融合计算机、金融等学科背景成员组成的互联网初创团队。目前正在做的是一款Ai+东方命理学的软件，名为 信风Flow 。
就在 Scale AI 公司的 95 后创始人 Alexandr Wang 在 Meta 挑大梁之际，他迎来了一位比他更小的 00 后劲敌。这名 00 后叫阿里·安萨里（Ali Ansari），是一名
Cursor Tab 是 Cursor 的核心功能之一，它通过分析开发者的编码行为，智能预测并推荐后续代码，开发者仅需按下 Tab 键即可采纳。然而，它也面临着一个 AI 普遍存在的难题：「过度热情」。有时，它提出的建议不仅毫无用处，甚至会打断开发者的思路。
不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
前几天的 苹果发布会，算是近年来最名副其实的「科技春晚」了，尤其是 iPhone 17 和 iPhone Air 相当令人期待——当然了，没有 AI。 即使不强调 AI 卖点，这次的新品依然获得了显著
本周五，Meta AI 团队正式发布了 MobileLLM-R1。 这是 MobileLLM 的全新高效推理模型系列，包含两类模型：基础模型 MobileLLM-R1-140M-base、MobileLLM-R1-360M-base、MobileLLM-R1-950M-base 和它们相应的最终模型版。
AI是否会在5年内破解黎曼猜想？是否会保持每年5x的算力扩张节奏？十年后，AI将把我们带向一个什么样的世界？近日，Epoch AI负责人Jaime Sevilla，与数据与分析负责人Yafah Edelman在对话中，为我们揭示了未来十年AI发展的路线图。
打开一个看似由哈佛、全球 AI 安全研究机构背书的网站，你会以为自己进入了一个拯救人类的严肃计划。 结果……你在这个页面上多停留了十几秒，页面背景悄悄浮现出一个单词：「bullsh*t」。 仔细看动图
Ditto是一个由伯克利辍学生Allen Wang和Eric Liu创立的人工智能约会平台，已筹集了160万美元，Allen Wang在4月通过Linkedin宣布，以“杀死Tinder为使命”的Ditto AI已拿到来自Google的200万美元融资。
